-- Checks that highlighting is generated correctly for all code in
-- the record modules in the mutual block.
IOTCM currentFile NonInteractive Direct (Cmd_load currentFile [])
